type Foo = false
